In logic, especially as applied in mathematics, concept A is a special case or specialization of concept B precisely if every instance of A is also an instance of B, or equivalently, B is a generalization of A. For example, all circles are ellipses (but most ellipses are not circles); therefore the circle is a special case of the ellipse. See also degenerate case.